# | Xmine*foreground: White |
|
---|
1 | Xmine*background: Grey50 | |
2 | Xmine*menubar*fontList: -*-times-bold-i-normal--14-100-*-*-*-*-*-* | |
3 | Xmine*fontList: -*-times-bold-r-normal--14-100-*-*-*-*-*-* | |
4 | *game.labelString: Game | |
5 | *game.mnemonic: G | |
6 | *New.mnemonic: N | |
7 | *New.accelerator: <Key>F2 | |
8 | *New.acceleratorText: F2 | |
9 | *Beginner.mnemonic: B | |
10 | *Intermediate.mnemonic: I | |
11 | *Expert.mnemonic: E | |
12 | *Custom.labelString: Custom ... | |
13 | *Custom.mnemonic: C | |
14 | *Marks.labelString: Marks [?] | |
15 | *Marks.mnemonic: M | |
16 | *Best.labelString: Best Times | |
17 | *Best.mnemonic: T | |
18 | *Exit.mnemonic: x | |
19 | *About.labelString: About xmine ... | |
20 | *About.mnemonic: A | |
21 | *Custom.title: Custom Field | |
22 | *Custom*height_label.labelString: Height: | |
23 | *Custom*width_label.labelString: Width: | |
24 | *Custom*mines_label.labelString: Mines: | |
25 | *Custom*height_text.columns: 4 | |
26 | *Custom*width_text.columns: 4 | |
27 | *Custom*mines_text.columns: 4 | |
28 | *Custom*ok.labelString: Ok | |
29 | *Best.title: Best Scores | |
30 | *Best*label.labelString: Fastest Mine Sweepers | |
31 | *Best*begin_label.labelString: Beginner: | |
32 | *Best*inter_label.labelString: Intermediate: | |
33 | *Best*expert_label.labelString: Expert: | |
34 | *Best*ok.labelString: Ok | |
35 | *Best*clear.labelString: Reset Scores | |
36 | *About.title: About xmine | |
37 | *About*ok.labelString: Ok | |
38 | *HighScorer.title: New Best Score | |
39 | *HighScorer*label.labelString: You have the fastest time for this level.\\nPlease enter your name. | |
40 | *HighScorer*name.value: Anonymous | |
41 | *HighScorer*ok.labelString: Ok |
|